277 research outputs found
Input-to-state stability of infinite-dimensional control systems
We develop tools for investigation of input-to-state stability (ISS) of
infinite-dimensional control systems. We show that for certain classes of
admissible inputs the existence of an ISS-Lyapunov function implies the
input-to-state stability of a system. Then for the case of systems described by
abstract equations in Banach spaces we develop two methods of construction of
local and global ISS-Lyapunov functions. We prove a linearization principle
that allows a construction of a local ISS-Lyapunov function for a system which
linear approximation is ISS. In order to study interconnections of nonlinear
infinite-dimensional systems, we generalize the small-gain theorem to the case
of infinite-dimensional systems and provide a way to construct an ISS-Lyapunov
function for an entire interconnection, if ISS-Lyapunov functions for
subsystems are known and the small-gain condition is satisfied. We illustrate
the theory on examples of linear and semilinear reaction-diffusion equations.Comment: 33 page
An ISS Small-Gain Theorem for General Networks
We provide a generalized version of the nonlinear small-gain theorem for the
case of more than two coupled input-to-state stable (ISS) systems. For this
result the interconnection gains are described in a nonlinear gain matrix and
the small-gain condition requires bounds on the image of this gain matrix. The
condition may be interpreted as a nonlinear generalization of the requirement
that the spectral radius of the gain matrix is less than one. We give some
interpretations of the condition in special cases covering two subsystems,
linear gains, linear systems and an associated artificial dynamical system.Comment: 26 pages, 3 figures, submitted to Mathematics of Control, Signals,
and Systems (MCSS
Numerical Construction of LISS Lyapunov Functions under a Small Gain Condition
In the stability analysis of large-scale interconnected systems it is
frequently desirable to be able to determine a decay point of the gain
operator, i.e., a point whose image under the monotone operator is strictly
smaller than the point itself. The set of such decay points plays a crucial
role in checking, in a semi-global fashion, the local input-to-state stability
of an interconnected system and in the numerical construction of a LISS
Lyapunov function. We provide a homotopy algorithm that computes a decay point
of a monotone op- erator. For this purpose we use a fixed point algorithm and
provide a function whose fixed points correspond to decay points of the
monotone operator. The advantage to an earlier algorithm is demonstrated.
Furthermore an example is given which shows how to analyze a given perturbed
interconnected system.Comment: 30 pages, 7 figures, 4 table
A robust Lyapunov criterion for nonoscillatory behaviors in biological interaction networks
We introduce the notion of nonoscillation, propose a constructive method for its robust verification, and study its application to biological interaction networks (also known as, chemical reaction networks). We begin by revisiting Muldowney’s result on the nonexistence of periodic solutions based on the study of the variational system of the second additive compound of the Jacobian of a nonlinear system. We show that exponential stability of the latter rules out limit cycles, quasi-periodic solutions, and broad classes of oscillatory behavior. We focus then on nonlinear equations arising in biological interaction networks with general kinetics, and we show that the dynamics of the aforementioned variational system can be embedded in a linear differential inclusion. We then propose algorithms for constructing piecewise linear Lyapunov functions to certify global robust nonoscillatory behavior. Finally, we apply our techniques to study several regulated enzymatic cycles, where available methods are not able to provide any information about their qualitative global behavior
On the Mathematics of the Law of Mass Action
In 1864,Waage and Guldberg formulated the "law of mass action." Since that
time, chemists, chemical engineers, physicists and mathematicians have amassed
a great deal of knowledge on the topic. In our view, sufficient understanding
has been acquired to warrant a formal mathematical consolidation. A major goal
of this consolidation is to solidify the mathematical foundations of mass
action chemistry -- to provide precise definitions, elucidate what can now be
proved, and indicate what is only conjectured. In addition, we believe that the
law of mass action is of intrinsic mathematical interest and should be made
available in a form that might transcend its application to chemistry alone. We
present the law of mass action in the context of a dynamical theory of sets of
binomials over the complex numbers.Comment: 40 pages, no figure
Global entrainment of transcriptional systems to periodic inputs
This paper addresses the problem of giving conditions for transcriptional
systems to be globally entrained to external periodic inputs. By using
contraction theory, a powerful tool from dynamical systems theory, it is shown
that certain systems driven by external periodic signals have the property that
all solutions converge to a fixed limit cycle. General results are proved, and
the properties are verified in the specific case of some models of
transcriptional systems. The basic mathematical results needed from contraction
theory are proved in the paper, making it self-contained
Decentralized learning with budgeted network load using Gaussian copulas and classifier ensembles
We examine a network of learners which address the same classification task
but must learn from different data sets. The learners cannot share data but
instead share their models. Models are shared only one time so as to preserve
the network load. We introduce DELCO (standing for Decentralized Ensemble
Learning with COpulas), a new approach allowing to aggregate the predictions of
the classifiers trained by each learner. The proposed method aggregates the
base classifiers using a probabilistic model relying on Gaussian copulas.
Experiments on logistic regressor ensembles demonstrate competing accuracy and
increased robustness in case of dependent classifiers. A companion python
implementation can be downloaded at https://github.com/john-klein/DELC
Simulation-based reachability analysis for nonlinear systems using componentwise contraction properties
A shortcoming of existing reachability approaches for nonlinear systems is
the poor scalability with the number of continuous state variables. To mitigate
this problem we present a simulation-based approach where we first sample a
number of trajectories of the system and next establish bounds on the
convergence or divergence between the samples and neighboring trajectories. We
compute these bounds using contraction theory and reduce the conservatism by
partitioning the state vector into several components and analyzing contraction
properties separately in each direction. Among other benefits this allows us to
analyze the effect of constant but uncertain parameters by treating them as
state variables and partitioning them into a separate direction. We next
present a numerical procedure to search for weighted norms that yield a
prescribed contraction rate, which can be incorporated in the reachability
algorithm to adjust the weights to minimize the growth of the reachable set
A parabolic approach to the control of opinion spreading
We analyze the problem of controlling to consensus a nonlinear system
modeling opinion spreading. We derive explicit exponential estimates on the
cost of approximately controlling these systems to consensus, as a function of
the number of agents N and the control time-horizon T. Our strategy makes use
of known results on the controllability of spatially discretized semilinear
parabolic equations. Both systems can be linked through time-rescalin
- …